Constructible function

Results: 268



#Item
51Order theory / Structure / Game theory / Pareto efficiency / Constructible universe / Social welfare function / Completeness / Function / Surreal number / Welfare economics / Mathematics / Social choice theory

On Constrained Dual Recoverability Theorems∗ Kotaro Suzumura Institute of Economic Research, Hitotsubashi University Naka 2-1, Kunitachi Tokyo, JAPAN

Add to Reading List

Source URL: cis.ier.hit-u.ac.jp

Language: English - Date: 2014-07-01 09:03:32
52Utility / Continuous function / Constructible universe / Metric / Mathematical analysis / Mathematics / Quantification / Universal quantification

On the leximin and utilitarian overtaking criteria with extended anonymity∗ Kohei Kamaga† Takashi Kojima‡

Add to Reading List

Source URL: cis.ier.hit-u.ac.jp

Language: English - Date: 2014-07-01 09:05:15
53Regression analysis / Loss function / Statistical theory / Scoring rule / Linear regression / Ordinal number / Constructible universe / Statistics / Econometrics / Decision theory

LOSS FUNCTIONS FOR BINARY CLASSIFICATION AND CLASS PROBABILITY ESTIMATION YI SHEN A DISSERTATION

Add to Reading List

Source URL: stat.wharton.upenn.edu

Language: English - Date: 2005-10-15 23:54:08
54Hedonism / Social philosophy / Utilitarianism / Constructible universe / Function / Mathematics / Classical liberalism / Consequentialism

Escaping the repugnant conclusion: Rank-discounted utilitarianism with variable population

Add to Reading List

Source URL: folk.uio.no

Language: English - Date: 2014-10-07 09:08:03
55Model theory / Formal languages / Constraint programming / Logical syntax / Interpretation / Constructible universe / Well-formed formula / Satisfiability / Function / Logic / Mathematics / Mathematical logic

Small Formulas for Large Programs: On-line Constraint Simplification in Scalable Static Analysis Isil Dillig Thomas Dillig Alex Aiken

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2010-05-07 20:34:22
56Constructible universe / Mathematical analysis / Statistics / Probability theory / Normal distribution / Moment-generating function

Performance analysis of OFDM modulation on indoor broadband PLC channels

Add to Reading List

Source URL: jis.eurasipjournals.com

Language: English
57Model theory / Group actions / First-order logic / Predicate logic / Function / Prenex normal form / FO / Emmy Noether / Constructible universe / Mathematics / Mathematical logic / Logic

Discovering State Invariants Fangzhen Lin Department of Computer Science The Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong

Add to Reading List

Source URL: www.cs.ust.hk

Language: English - Date: 2004-04-15 03:43:01
58Operator theory / Transforms / Constructible universe / Laplace transform / Continuous function / Linear differential equation / Heat equation / Dirac delta function / Mathematical analysis / Differential equations / Fourier analysis

maximum-severity-ruin-interest_revision2.DVI

Add to Reading List

Source URL: fbe.unimelb.edu.au

Language: English - Date: 2013-08-05 02:09:38
59Symbol / Distribution / Auxiliary function / Function / Constructible universe / Spectral theory of ordinary differential equations / Mathematical analysis / Mathematics / Generalized functions

F:/luis1/03 ciencia/02 investigacao pessoal/20061031_artigo_PZK-IAS-MLCA/1_artigo/versoes-entregues-ou-assinadas/20061205_IACR.preprint.archive/PZK-IAS-MLCA_luis-brandao_v20061206.dvi

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2006-12-05 20:14:06
60Functions and mappings / Function / Prolog / Constraint logic programming / Unification / Multiplication / FO / Constructible universe / Mathematics / Mathematical logic / Logic programming

Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)? Oleg Kiselyov1 , William E. Byrd2 , Daniel P. Friedman2 , and Chung-chieh Shan3 1

Add to Reading List

Source URL: okmij.org

Language: English - Date: 2008-01-22 19:40:33
UPDATE